Integrating Refinement into Software Development Tools
نویسندگان
چکیده
منابع مشابه
Integrating Refinement into Software Development Tools
It is a challenge for automatic tool support to formal design by refinement transformations. In this paper, we bring this matter to the attention of the research community and discuss a component-based model transformational approach for integrating refinement into software development tools. Models, their consistency and correctness, in an object-oriented and componentbased development process...
متن کاملIntegrating ASMs into the Software Development
In this paper we show how to integrate the use of Gurevich's Abstract State Machines (ASMs) into a complete software development life cycle. We present a structured software engineering method which allows the software engineer to control eeciently the modular development and the maintenance of well documented, formally inspectable and smoothly modiiable code out of rigorous ASM models for requ...
متن کاملIntegrating Security Concerns into Software Development
It has become clear in software development that functionality and security must go hand in hand in cases where security concerns are to be incorporated early in stages of design. An essential aspect of such a process is threat modeling that integrates security with functional specification. Such an approach includes construction of two models: a functional model and a security (threat) model. ...
متن کاملIntegrating Software Security Into The Software Development Lifecycle
Applications make up the core of any system--for example small applications serving critical roles (e.g. Basic Input/Output System); word processors; firewalls; e-mail servers; and operating systems--and, as a result, applications must be written both in a secure fashion and with security in mind or they may become the weakest link, allowing the circumvention of various physical and logical acc...
متن کاملIntegrating Detailed Clinical Models Into Application Development Tools
Several groups are currently working on defining detailed clinical models (also called templates or archetypes) that are refinements of abstract medical models like the HL7 (Health Level Seven) Reference Information Model. At IHC, we have created over 3,000 detailed clinical models in the last five years. These models have become an essential part of the architecture of our electronic medical r...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2008
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2008.03.086